Liu To - PDFSEARCH.IO - Document Search Engine

Liu To
Results: 618

#	Item
441	Using Simulated RoboCup to Teach AI in Undergraduate Education Fredrik Heintz , Johan Kummeneje , and Paul Scerri Department of Computer and Information Science Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2013-08-07 07:36:40 Entertainment Soccer robot Robot competition AIBO IranOpen RoboCup Junior RoboCup Robotics Sports
442	Defining and certifying electronic publication Reports need to be satisfied in order to make them useful. The crucial fixed point, in our view, remains the final published version of an article Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2006-05-05 11:00:11 Technical communication Academic publishing Library science Scientific literature Peer review Scientific journal Citation Scientific method Public Library of Science Science Knowledge Publishing
443	Link¨ oping Studies in Science and Technology Thesis No[removed]Complex Task Allocation for Delegation: From Theory to Practice Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:41:18 Robotics Robot Cognitive robotics Knowledge Military terminology Signals intelligence Unmanned aerial vehicle
444	Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP Marcus Bjareland? Peter Jonsson?? Dept. of Comp. and Info. Sci. Linkopings universitet Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:34:39 Constraint programming Graph coloring NP-complete problems Constraint satisfaction problem Bipartite graph Graph Complexity of constraint satisfaction Path decomposition Graph theory Mathematics Theoretical computer science
445	Declarative PTIME Queries to Relational Databases Patrick Doherty Witold Lukaszewicz March 9, 2001 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:09:00 Query languages Formal languages Programming paradigms Model theory Datalog FO Well-formed formula Function Interpretation Logic Mathematics Mathematical logic
446	Link¨oping Studies in Science and Technology Thesis No[removed]Adaptive Semi-structured Information Extraction A User-Driven Approach to IE Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:52:42 Artificial intelligence Information extraction Knowledge representation Learning Wrapper Machine learning General Architecture for Text Engineering Software Natural language processing Science
447	Linköping Studies in Science and Technology Dissertation No. 937 TALplanner and Other Extensions to Temporal Action Logic by Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:50:01 Planner Frame problem Artificial intelligence Automated planning and scheduling Logic programming
448	Declarative PTIME Queries to Relational Databases Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:32 Query languages Formal languages Programming paradigms Predicate logic Datalog FO Well-formed formula Generalization Interpretation Logic Mathematical logic Theoretical computer science
449	VerifyFS in Btrfs Style (Btrfs end to end Data Integrity) Liu Bo ([removed]) Add to Reading List Source URL: events.linuxfoundation.org Language: English - Date: 2014-11-07 10:38:31 System software Btrfs ZFS Ext3 Checksum Data corruption File system RAID Sum Disk file systems Computing Software
450	How to Benefit from Preferential Tariff Rates under the Free Trade Agreement between Switzerland and China? - LIU Ping, China Mission to the WTO - 21 mai[removed]Chambre de commerce Suisse-Chine, Section romande Add to Reading List Source URL: www.sccc.ch Language: English - Date: 2014-07-03 09:05:31 Certificate of origin International economics Tariff Rules of origin Australia–United States Free Trade Agreement ASEAN Free Trade Area International trade Business International relations

UPDATE